(note_mouse_highlight): Don't change the mouse cursor
authorGerd Moellmann <gerd@gnu.org>
Wed, 9 May 2001 15:37:36 +0000 (15:37 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 9 May 2001 15:37:36 +0000 (15:37 +0000)
commitfe535de6a1ba28647ecbd0d0295713f112455b49
treeb48a121be2f2e287c6d6ae5f68576f397cd00575
parent6b8e13da4a7330a9446b046bbfd955ffa99f9db3
(note_mouse_highlight): Don't change the mouse cursor
back to the text cursor shape without need.
src/xterm.c